$\forall$$k$:Knd. ($\uparrow$islocal($k$)) $\Rightarrow$ (act($k$) $\in$ Id)